Перевод: с английского на все языки

со всех языков на английский

imperative logic

См. также в других словарях:

  • Imperative logic — is a field of logic that is concerned with imperatives (e.g. Do A ). Unlike deontic logic, which is concerned with obligation and permission, imperative logic by itself is not necessarily tied to any ought judgments on its imperatives. However,… …   Wikipedia

  • imperative — The standard mood of sentences used to issue requests and commands. Questions in the philosophy of language arising from imperatives include estimating whether the need to issue requests and commands might be as basic as the need to communicate… …   Philosophy dictionary

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Deontic logic — is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic… …   Wikipedia

  • Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

  • Categorical imperative — Part of a series on Immanue …   Wikipedia

  • Hazard (logic) — In digital logic, a hazard in a system is an undesirable effect caused by either a deficiency in the system or external influences. Logic hazards are manifestations of a problem in which changes in the input variables do not change the output… …   Wikipedia

  • Hoare logic — (also known as Floyd ndash;Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The purpose of the system is to provide a set of logical rules in… …   Wikipedia

  • Biological imperative — Articleissues citations missing = November 2007 OR = November 2007 rewrite = November 2007 tone = November 2007Biological imperatives are the needs of living organisms required to perpetuate their existence: to survive. include the following… …   Wikipedia

  • List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents …   Wikipedia

  • Multi-paradigm programming language — A multi paradigm programming language is a programming language that supports more than one programming paradigm. As Leda designer Tim Budd holds it: The idea of a multiparadigm language is to provide a framework in which programmers can work in… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»